John Launchbury: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

An introduction to functional programming through lambda calculus : Greg Michaelson (Addison-Wesley, Wokingham, United Kingdom, 1990), Price £17.95 (paperback), ISBN 0-201-17812-5.

John Launchbury

Journal:

Science of Computer Programming

Year:

1991

Language:

english

File:

PDF, 346 KB

english, 1991

2

State in Haskell

John Launchbury, Simon L Peyton Jones

Journal:

Higher-Order and Symbolic Computation

Year:

1995

Language:

english

File:

PDF, 2.30 MB

english, 1995

3

Lazy functional state threads

Launchbury, John, Peyton Jones, Simon L.

Journal:

ACM SIGPLAN Notices

Year:

1994

Language:

english

File:

PDF, 1.16 MB

english, 1994

4

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 6539 ||

Rocha, Ricardo, Launchbury, John

Year:

2011

Language:

english

File:

PDF, 3.27 MB

english, 2011

5

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - A natural semantics for lazy evaluation

Launchbury, John

Year:

1993

Language:

english

File:

PDF, 968 KB

english, 1993

6

Structure–activity relationships of the peptide deformylase inhibitor BB-3497: modification of the metal binding group

Helen K. Smith, R.Paul Beckett, John M. Clements, Sheila Doel, Stephen P. East, Steven B. Launchbury, Lisa M. Pratt, Zoë M. Spavold, Wayne Thomas, Richard S. Todd, Mark Whittaker

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2002

Language:

english

File:

PDF, 161 KB

english, 2002

7

Structure–activity relationships of the peptide deformylase inhibitor BB-3497: modification of the methylene spacer and the P1′ side chain

Stephen J. Davies, Andrew P. Ayscough, R.Paul Beckett, Ryan A. Bragg, John M. Clements, Sheila Doel, Christine Grew, Steven B. Launchbury, Gemma M. Perkins, Lisa M. Pratt, Helen K. Smith, Zoë M. Spavo

Journal:

Bioorganic & Medicinal Chemistry Letters

Year:

2003

Language:

english

File:

PDF, 176 KB

english, 2003

8

Projection Factorisations in Partial Evaluation || Partial Evaluation in Principle

Launchbury, John

Year:

1991

File:

PDF, 603 KB

1991

9

Projection Factorisations in Partial Evaluation || Partial Evaluation in Practice

Launchbury, John

Year:

1991

File:

PDF, 704 KB

1991

10

Projection Factorisations in Partial Evaluation || Static Projections

Launchbury, John

Year:

1991

File:

PDF, 483 KB

1991

11

[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - Building embedded systems with embedded DSLs

Hickey, Patrick C., Pike, Lee, Elliott, Trevor, Bielman, James, Launchbury, John

Year:

2014

Language:

english

File:

PDF, 488 KB

english, 2014

12

Semantics of value recursion for Monadic Input/Output

Erkök, Levent, Launchbury, John, Moran, Andrew

Journal:

RAIRO - Theoretical Informatics and Applications

Year:

2002

Language:

english

File:

PDF, 200 KB

english, 2002

13

Projection Factorisations in Partial Evaluation || Binding-Time Analysis

Launchbury, John

Year:

1991

File:

PDF, 660 KB

1991

14

Reversing abstract interpretations

John Hughes, John Launchbury

Journal:

Science of Computer Programming

Year:

1994

Language:

english

File:

PDF, 1.28 MB

english, 1994

15

[ACM Press the ACM SIGPLAN 2014 Workshop - San Diego, California, USA (2014.01.21-2014.01.21)] Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification - PLPV '14 - Programming languages for high-assurance autonomous vehicles

Pike, Lee, Hickey, Patrick, Bielman, James, Elliott, Trevor, DuBuisson, Thomas, Launchbury, John

Year:

2014

Language:

english

File:

PDF, 337 KB

english, 2014

16

Relational Reversal of Abstract Interpretation

HUGHES, JOHN, LAUNCHBURY, JOHN

Journal:

Journal of Logic and Computation

Year:

1992

Language:

english

File:

PDF, 900 KB

english, 1992

17

Projection Factorisations in Partial Evaluation || Run Time Arguments

Launchbury, John

Year:

1991

File:

PDF, 849 KB

1991

18

Projection Factorisations in Partial Evaluation || Implementation

Launchbury, John

Year:

1991

File:

PDF, 484 KB

1991

19

Monadic state

Launchbury, John, Sabry, Amr

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.13 MB

english, 1997

20

[ACM Press the seventh international conference - La Jolla, California, United States (1995.06.26-1995.06.28)] Proceedings of the seventh international conference on Functional programming languages and computer architecture - FPCA '95 - Warm fusion

Launchbury, John, Sheard, Tim

Year:

1995

Language:

english

File:

PDF, 941 KB

english, 1995

21

[ACM Press the ACM SIGPLAN workshop - Pittsburgh, Pennsylvania (2002.10.03-..)] Proceedings of the ACM SIGPLAN workshop on Haskell - Haskell '02 - A recursive do for Haskell

Erkök, Levent, Launchbury, John

Year:

2002

Language:

english

File:

PDF, 119 KB

english, 2002

22

Projection Factorisations in Partial Evaluation || Polymorphism

Launchbury, John

Year:

1991

File:

PDF, 882 KB

1991

23

[ACM Press the second ACM SIGPLAN international conference - Amsterdam, The Netherlands (1997.06.09-1997.06.11)] Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP '97 - Disposable memo functions (extended abstract)

Cook, Byron, Launchbury, John

Year:

1997

Language:

english

File:

PDF, 103 KB

english, 1997

24

Projection Factorisations in Partial Evaluation || Conclusion

Launchbury, John

Year:

1991

File:

PDF, 482 KB

1991

25

[ACM Press the 10th ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.23)] Proceedings of the 10th ACM international conference on Generative programming and component engineering - GPCE '11 - Theorem-based circuit derivation in cryptol

Launchbury, John

Year:

2011

Language:

english

File:

PDF, 528 KB

english, 2011

26

Projection Factorisations in Partial Evaluation || Implementation of PEL

Launchbury, John

Year:

1991

File:

PDF, 398 KB

1991

27

Projection Factorisations in Partial Evaluation || Implementation of BTA

Launchbury, John

Year:

1991

File:

PDF, 395 KB

1991

28

[ACM Press the 22nd ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1995.01.23-1995.01.25)] Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 - Structuring depth-first search algorithms in Haskell

King, David J., Launchbury, John

Year:

1995

Language:

english

File:

PDF, 1.05 MB

english, 1995

29

Projection Factorisations in Partial Evaluation || Implementation of Specialisation

Launchbury, John

Year:

1991

File:

PDF, 288 KB

1991

30

[ACM Press the 8th ACM SIGPLAN Symposium - Vancouver, BC, Canada (2015.09.03-2015.09.04)] Proceedings of the 8th ACM SIGPLAN Symposium on Haskell - Haskell 2015 - Guilt free ivory

Elliott, Trevor, Pike, Lee, Winwood, Simon, Hickey, Pat, Bielman, James, Sharp, Jamey, Seidel, Eric, Launchbury, John

Year:

2015

Language:

english

File:

PDF, 374 KB

english, 2015

31

Projection Factorisations in Partial Evaluation || Library Functions

Launchbury, John

Year:

1991

File:

PDF, 167 KB

1991

32

Representing demand by partial projections

Launchbury, John, Baraki, Gebreselassie

Journal:

Journal of Functional Programming

Year:

1996

Language:

english

File:

PDF, 1.01 MB

english, 1996

33

Disposable memo functions (extended abstract)

Cook, Byron, Launchbury, John

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 103 KB

english, 1997

34

[ACM Press the second ACM SIGPLAN international conference - Amsterdam, The Netherlands (1997.06.09-1997.06.11)] Proceedings of the second ACM SIGPLAN international conference on Functional programming - ICFP '97 - Monadic state

Launchbury, John, Sabry, Amr

Year:

1997

Language:

english

File:

PDF, 1.13 MB

english, 1997

35

[ACM Press the ACM SIGPLAN 1994 conference - Orlando, Florida, United States (1994.06.20-1994.06.24)] Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation - PLDI '94 - Lazy functional state threads

Launchbury, John, Peyton Jones, Simon L.

Year:

1994

Language:

english

File:

PDF, 1.16 MB

english, 1994

36

[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Efficient lookup-table protocol in secure multiparty computation

Launchbury, John, Diatchki, Iavor S., DuBuisson, Thomas, Adams-Moran, Andy

Year:

2012

Language:

english

File:

PDF, 1.15 MB

english, 2012

37

[ACM Press the 4th ACM SIGPLAN workshop - Freiburg, Germany (2007.10.04-2007.10.04)] Proceedings of the 4th ACM SIGPLAN workshop on Commercial users of functional programming - CUFP '07 - Cross-domain WebDAV server

Launchbury, John

Year:

2007

Language:

english

File:

PDF, 86 KB

english, 2007

38

Recursive monadic bindings

Erkök, Levent, Launchbury, John

Journal:

ACM SIGPLAN Notices

Year:

2000

Language:

english

File:

PDF, 283 KB

english, 2000

39

[ACM Press the third ACM Haskell symposium - Baltimore, Maryland, USA (2010.09.30-2010.09.30)] Proceedings of the third ACM Haskell symposium on Haskell - Haskell '10 - Concurrent orchestration in Haskell

Launchbury, John, Elliott, Trevor

Year:

2010

Language:

english

File:

PDF, 448 KB

english, 2010

40

[ACM Press the conference - Copenhagen, Denmark (1993.06.09-1993.06.11)] Proceedings of the conference on Functional programming languages and computer architecture - FPCA '93 - A short cut to deforestation

Gill, Andrew, Launchbury, John, Peyton Jones, Simon L.

Year:

1993

Language:

english

File:

PDF, 883 KB

english, 1993

41

How to give a good research talk

Peyton Jones, Simon L., Hughes, John, Launchbury, John

Journal:

ACM SIGPLAN Notices

Year:

1993

Language:

english

File:

PDF, 281 KB

english, 1993

42

Strictness analysis aids inductive proofs

John Launchbury

Journal:

Information Processing Letters

Year:

1990

Language:

english

File:

PDF, 425 KB

english, 1990

43

[Lecture Notes in Computer Science] Practical Aspects of Declarative Languages Volume 6539 || The F# Asynchronous Programming Model

Rocha, Ricardo, Launchbury, John

Year:

2011

Language:

english

File:

PDF, 508 KB

english, 2011

44

Projection Factorisations in Partial Evaluation || Bibliography

Launchbury, John

Year:

1991

Language:

english

File:

PDF, 272 KB

english, 1991

45

Efficient lookup-table protocol in secure multiparty computation

Launchbury, John, Diatchki, Iavor S., DuBuisson, Thomas, Adams-Moran, Andy

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 1.15 MB

english, 2012

46

The HACMS program: using formal methods to eliminate exploitable bugs

Fisher, Kathleen, Launchbury, John, Richards, Raymond

Journal:

Philosophical Transactions Mathematical Physical & Engineering Sciences

Year:

2017

Language:

english

File:

PDF, 598 KB

english, 2017

47

[ACM Press the 25th ACM SIGPLAN-SIGACT symposium - San Diego, California, United States (1998.01.19-1998.01.21)] Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98 - Bridging the gulf

Peyton Jones, Simon, Shields, Mark, Launchbury, John, Tolmach, Andrew

Year:

1998

Language:

english

File:

PDF, 1.80 MB

english, 1998

48

Projection Factorisations in Partial Evaluation || Abstract

Launchbury, John

Year:

1991

File:

PDF, 68 KB

1991

49

Projections for polymorphic first-order strictness analysis

Hughes, John, Launchbury, John

Journal:

Mathematical Structures in Computer Science

Year:

1992

Language:

english

File:

PDF, 3.90 MB

english, 1992

50

Concurrent orchestration in Haskell

Launchbury, John, Elliott, Trevor

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 448 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски